Internal sets and internal functions in Colombeau theory
نویسندگان
چکیده
منابع مشابه
Internal sets and internal functions in Colombeau theory
Inspired by nonstandard analysis, we define and study internal subsets and internal functions in algebras of Colombeau generalized functions. We prove a saturation principle for internal sets and provide applications to Colombeau algebras.
متن کاملTHE INTERNAL IDEAL LATTICE IN THE TOPOS OF M-SETS
We believe that the study of the notions of universal algebra modelled in an arbitarry topos rather than in the category of sets provides a deeper understanding of the real features of the algebraic notions. [2], [3], [4], [S], [6], [7], [13], [14] are some examples of this approach. The lattice Id(L) of ideals of a lattice L (in the category of sets) is an important ingredient of the categ...
متن کاملFirst-order quantum perturbation theory and Colombeau generalized functions
The electromagnetic scattering of a spin-0 charged particle off a fixed center is calculated in first-order quantum perturbation theory. This implies evaluating the square of a ‘Dirac delta-function,’ an operation that is not defined in Schwartz distribution theory, and which in elementary text-books is dealt with according to ‘Fermi’s golden rule.’ In this paper these conventional calculations...
متن کاملInternal Type Theory
We introduce categories with families as a new notion of model for a basic framework of dependent types. This notion is close to ordinary syntax and yet has a clean categorical description. We also present categories with families as a generalized algebraic theory. Then we deene categories with families formally in Martin-LL of's intensional intuitionistic type theory. Finally, we discuss the c...
متن کاملWeak complicial sets and internal quasi-categories
It is well known that we may represent (strict) ω-categories as simplicial sets, via Street’s ω-categorical nerve construction [2]. What may be less well known, is that we may extend Street’s nerve functor to one which has been shown to be fully-faithful (Verity [3]). This is achieved by augmenting each simplicial set in the codomain of this functor with a specified subset of thin simplices and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Analysis and Applications
سال: 2008
ISSN: 0022-247X
DOI: 10.1016/j.jmaa.2007.10.030